Fixed Points in Cartesian Closed Categories
نویسنده
چکیده
The purpose of this paper is to begin the study of domain theory in a context that is also appropriate for semantic models of other aspects of computation, that is in cartesian closed categories with a natural numbers object. I show that if D is an internally ω -complete partial order with bottom in such a category, then the usual construction of least fixed point of an ω -continuous endomorphism can be internalized as an arrow from the object of ω -continuous endomorphisms of D (suitably defined) to D itself.
منابع مشابه
A Characterisation of the Least-Fixed-Point Operator by Dinaturality
Simpson, A.K., A characterisation of the least-fixed-point operator by dinaturality, Theoretical Computer Science 118 (1993) 301-314. The paper addresses the question of when the least-fixed-point operator, in a Cartesian-closed category of domains, is characterised as the unique dinatural transformation from the exponentiation bifunctor to the identity functor. We give a sufficient condition o...
متن کاملTransforming Geocentric Cartesian Coordinates to Geodetic Coordinates by a New Initial Value Calculation Paradigm
Transforming geocentric Cartesian coordinates (X, Y, Z) to geodetic curvilinear coordinates (φ, λ, h) on a biaxial ellipsoid is one of the problems used in satellite positioning, coordinates conversion between reference systems, astronomy and geodetic calculations. For this purpose, various methods including Closed-form, Vector method and Fixed-point method have been developed. In this paper, a...
متن کاملParameterizations and Fixed-Point Operators on Control Categories
The -calculus features both variables and names together with their binding mechanisms. This means that constructions on open terms are necessarily parameterized in two different ways for both variables and names. Semantically, such a construction must be modeled by a biparameterized family of operators. In this paper, we study these biparameterized operators on Selinger’s categorical models of...
متن کاملCartesian closed stable categories q
The aim of this paper is to establish some Cartesian closed categories which are between the two Cartesian closed categories: SLP (the category of L-domains and stable functions) and DI (the full subcategory of SLP whose objects are all dI-domains). First we show that the exponentials of every full subcategory of SLP are exactly the spaces of stable functions. Then we prove that the full subcat...
متن کاملCartesian closed subcategories of topological fuzzes
A category $mathbf{C}$ is called Cartesian closed provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$ of all topological fuzzes is both complete and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 70 شماره
صفحات -
تاریخ انتشار 1990